Frege - definizione. Che cos'è Frege
Diclib.com
Dizionario ChatGPT
Inserisci una parola o una frase in qualsiasi lingua 👆
Lingua:

Traduzione e analisi delle parole tramite l'intelligenza artificiale ChatGPT

In questa pagina puoi ottenere un'analisi dettagliata di una parola o frase, prodotta utilizzando la migliore tecnologia di intelligenza artificiale fino ad oggi:

  • come viene usata la parola
  • frequenza di utilizzo
  • è usato più spesso nel discorso orale o scritto
  • opzioni di traduzione delle parole
  • esempi di utilizzo (varie frasi con traduzione)
  • etimologia

Cosa (chi) è Frege - definizione

GERMAN MATHEMATICIAN, LOGICIAN, PHILOSOPHER
Gotloeb Frege; Gotlob Frege; Friedrich Ludwig Gottlob Frege; GFrege; G. Frege; Gottlob frege; Fregean; Foundations of Aritmetic; Gottloeb Frege; Gottlob Friedrich Ludwig Frege; The Basic Laws of Arithmetic; Gottleb Frege; Julius Caesar problem; Frege
  • Title page to ''Begriffsschrift'' (1879)
  • 1905}}

Gottlob Frege         
<person, history, philosophy, mathematics, logic, theory> (1848-1925) A mathematician who put mathematics on a new and more solid foundation. He purged mathematics of mistaken, sloppy reasoning and the influence of Pythagoras. Mathematics was shown to be a subdivision of formal logic. [Where?] (1997-07-14)
Frege system         
  • Proof strengths of different systems.
Frege proof system
In proof complexity, a Frege system is a propositional proof system whose proofs are sequences of formulas derived using a finite set of sound and implicationally complete inference rules. Frege systems (more often known as Hilbert systems in general proof theory) are named after Gottlob Frege.
Frege–Church ontology         
The Frege-Church Ontology; Frege Church ontology; The Church-Frege Ontology; Paradox of the name relationship; Church frege ontology; Church Frege ontology; Frege-Church ontology; Paradox of the name relation; Intentional context; Frege church ontology; Church-Frege ontology
The Frege–Church ontology is an ontology, a theory of existence. Everything is considered as being in three categories, object (referent, denotation), name, or concept (sense).

Wikipedia

Gottlob Frege

Friedrich Ludwig Gottlob Frege (; German: [ˈɡɔtloːp ˈfreːɡə]; 8 November 1848 – 26 July 1925) was a German philosopher, logician, and mathematician. He was a mathematics professor at the University of Jena, and is understood by many to be the father of analytic philosophy, concentrating on the philosophy of language, logic, and mathematics. Though he was largely ignored during his lifetime, Giuseppe Peano (1858–1932), Bertrand Russell (1872–1970), and, to some extent, Ludwig Wittgenstein (1889–1951) introduced his work to later generations of philosophers. Frege is widely considered to be the greatest logician since Aristotle, and one of the most profound philosophers of mathematics ever.

His contributions include the development of modern logic in the Begriffsschrift and work in the foundations of mathematics. His book the Foundations of Arithmetic is the seminal text of the logicist project, and is cited by Michael Dummett as where to pinpoint the linguistic turn. His philosophical papers "On Sense and Reference" and "The Thought" are also widely cited. The former argues for two different types of meaning and descriptivism. In Foundations and "The Thought", Frege argues for Platonism against psychologism or formalism, concerning numbers and propositions respectively. Russell's paradox undermined the logicist project by showing Frege's Basic Law V in the Foundations to be false.